<!DOCTYPE html>
<html>
  <head>
    <meta charset="UTF-8" />
    <meta name="viewport" content="width=device-width"/>
    <title>SafeTypes2 Documentation Index Page</title>
    <style>
     h1 { text-align: center; }
    </style>
  </head>
  <h1>Welcome to the SafeTypes2 Documentations</h1>

  <p>
    Document Listing:
  </p>
  <ul>
    <li><a href="./prog-manual.md">Programming Manual</a></li>
    <li><a href="./SafeTypes2-Docs/index.html">Library Documentation</a></li>
  </ul>

  <p>
    Miscellaneous Information:
  </p>
  <ul>
    <li><a href="./ProjectName.md">Naming of the Project</a></li>
  </ul>
</html>
